A Modeling Framework for Generic Agent Interaction Protocols
نویسندگان
چکیده
Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.
منابع مشابه
A Modelling Framework for Generic Agent Interaction Protocols
This paper presents a framework to represent generic protocols. We call generic protocols, agent interaction protocols where only a general behaviour of the interacting entities can be provided. Our framework is grounded on the AUML graphical formalism. From this formalism, we identified five fundamental concepts on top of which we defined the formal specifications for the framework. We address...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملPrimitive Interaction Protocols for Agents in a Dynamic Environment
This paper describes a generic multi-agent systems architecture for dynamic collaboration in an open environment. This architecture is described as composed of basic role-oriented processes communicating though primitive interaction protocols. The architecture is aimed to provide an enabling communications framework upon which multi-agent system (MAS) models can be organized and built. In parti...
متن کاملIntelligent Agent Modeling and Generic Architecture Towards a Multi-Agent Healthcare Knowledge Management System
Intelligent agents are a powerful technology with many significant applications and are starting to assume more responsible in more critical tasks. One of the most important uses of agent technology is for problem–solving coordination. Coordination has been defined as managing the interdependencies between activities, ordering and locating actions in time in an attempt to maximize a possibly ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006